Nuprl Definition : D 13,42
REF, NoConds
D $a == D ($a) 
latex

UpTactics as terms
FDL editor aliases-d

origin